derivation of mean free path formula